#ifndef __LIB_KERNEL_VIRTUALDEVICE_H
#define __LIB_KERNEL_VIRTUALDEVICE_H
#include "stdint.h"                 //我们的stdint.h中定义了数据类型，包含进来

void guest_display_screen(void);
#endif
